C\C++ Code Vulnerability Scanner

This modeule statically analyze race conditions vulnerability. There are two modules TOCTOU_RC and Sync_RC which analyze
different type of race conditions. 

Both these modules are built on Visual Studio Community Version 2017 and use Roslyn(C#) 3.7 library.

Datasets are available in Dataset folder and contains C code from two datasets DataRaceBench 
(https://github.com/LLNL/dataracebench/tree/master/micro-benchmarks) and NIST Juliet 
(https://samate.nist.gov/SARD/testsuite.php).

